$\forall$$T$:Type, ${\it LL}$:($T$ List List). (concat(${\it LL}$) = [] $\in$ ($T$ List)) $\Leftarrow\!\Rightarrow$ ($\forall$$L$$\in$${\it LL}$. $L$ = [] $\in$ ($T$ List))